Distributing Requirements Specifications on Basic Splice
نویسندگان
چکیده
This is an extension of work presented in [12]. It is proved that the seemingly weak architecture Basic Splice introduced there {in which the coordination of processes is done using only a global set with read/write primitives{ can support a distributed implementation of a large class of requirements speci cations, namely LPEs (a CRL intermediate representation of speci cations). 2000 Mathematics Subject Classi cation: 68M14, 68N30, 68Q85
منابع مشابه
Distributing Requirements Specifications on Basic Splice Distributing Requirements Speciications on Basic Splice
This is an extension of work presented in 12]. It is proved that the seemingly weak architecture Basic Splice introduced there {in which the coordination of processes is done using only a global set with read/write primitives{ can support a distributed implementation of a large class of requirements speciications, namely LPEs (a CRL intermediate representation of speciications).
متن کاملNetwork Working Group Problem Statement and Requirements on a 3-party Key Distribution Protocol for Handover Keying
The HOKEY WG is developing solutions for optimizations as well as security key hierarchy specifications for handovers. The key derivation specifications all draw from a trust relationship that is created as a result of a "2-party" EAP authentication between a peer and a backend server, while distributing the resulting keys to third parties other than the peer and the backend server. This docume...
متن کاملRequirements Archaeology: From Unstructured Information to High Quality Specifications
In the automotive industry software has become more and more important in the past and it is expected that the importance will increase further. Thus a rigorous specification of requirements of the features will become more important as well. Most publications and textbooks dealing with requirements engineering assume that systems are being built from scratch. However, in many business areas sy...
متن کاملA Comparison of the FOOM and OPM Methodologies for User Comprehension of Analysis Specifications
FOOM (Functional and Object-Oriented Methodology) and OPM (ObjectProcesses Methodology) are methodologies used for analyzing and designing information systems. Both integrate functional and objectoriented approaches, but differ in that the analysis specification of FOOM utilizes OO-DFDs (Data Flow Diagrams with object classes that replace traditional data-stores) and a class diagram, while OPM ...
متن کاملExpressiveness of Basic Splice Expressiveness of Basic Splice
We study a simple software architecture, in which application processes are coordinated by writing into and reading from a global set. This architecture underlies Splice, which is developed and used at the company Hollandse Signaalapparaten. Our approach is distinguished by viewing the architecture as a component itself, described formally by means of process algebra. Two results are proved. Fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001